exp($i$;$n$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$primrec($n$;1;$\lambda$$x$,$y$. $i$ $\ast$ $y$)